4

Analysis of modular arithmetic

Year:
2007
Language:
english
File:
PDF, 322 KB
english, 2007
6

Flat and one-variable clauses

Year:
2008
Language:
english
File:
PDF, 411 KB
english, 2008
8

Compiler Design || Lexical Analysis

Year:
2013
Language:
english
File:
PDF, 649 KB
english, 2013
10

Macro forest transducers

Year:
2004
Language:
english
File:
PDF, 206 KB
english, 2004
12

Compiler Design ||

Year:
2012
Language:
english
File:
PDF, 5.61 MB
english, 2012
18

Compiler Design ||

Year:
2013
Language:
english
File:
PDF, 3.16 MB
english, 2013
20

Cryptographic Analysis in Cubic Time

Year:
2002
Language:
english
File:
PDF, 219 KB
english, 2002
23

Compiler Design || Semantic Analysis

Year:
2013
Language:
english
File:
PDF, 1018 KB
english, 2013
27

On Distributive Fixed-Point Expressions

Year:
1999
Language:
english
File:
PDF, 211 KB
english, 1999
30

Praktische Programmverifikation durch statische Analyse

Year:
2010
Language:
german
File:
PDF, 297 KB
german, 2010
34

Haskell overloading is DEXPTIME-complete

Year:
1994
Language:
english
File:
PDF, 376 KB
english, 1994
40

Combined process modeling and subthreshold device simulation

Year:
1986
Language:
english
File:
PDF, 350 KB
english, 1986
48

Computing polynomial program invariants

Year:
2004
Language:
english
File:
PDF, 260 KB
english, 2004